Satisfiability modulo theories - PDFSEARCH.IO - Document Search Engine

Satisfiability modulo theories
Results: 199

#	Item
181	Reasoning with Triggers Claire Dross Sylvain Conchon Johannes Kanig Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17 Predicate logic Model theory Semantics Logic in computer science Formal languages Satisfiability Modulo Theories First-order logic Interpretation Atomic formula Logic Theoretical computer science Mathematical logic
182	Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers∗ Sylvain Conchon Guillaume Melquiond Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17 Computer arithmetic Constraint programming Operations research Data types Formal systems Satisfiability Modulo Theories Floating point Linear programming Rounding Mathematics Theoretical computer science Applied mathematics
183	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic
184	Curriculum Vitae — Domagoj Babi´c C ONTACT I NFORMATION Phone: Email: Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2013-10-12 15:48:36 Satisfiability Modulo Theories Decision problem Domagoj Software engineering Lecture Notes in Computer Science Computer science Theoretical computer science Applied mathematics Computer Aided Verification
185	SMT-RAT Version[removed]Satisfiability-Modulo-Theories Real Arithmetic Toolbox Manual Florian Corzilius, Ulrich Loup, Sebastian Junges, and Erika Ábrahám Add to Reading List Source URL: smtrat.sourceforge.net Language: English - Date: 2012-02-28 12:54:49 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Solver Module AMPL Theoretical computer science Applied mathematics Mathematics
186	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-03 11:43:14 Electronic design automation Logic in computer science NP-complete problems Abstract interpretation Symbolic execution Satisfiability Modulo Theories Solver Theoretical computer science Applied mathematics Formal methods
187	A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations ⋆ Ajith K John1 and Supratik Chakraborty2 1 2 Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2012-06-17 16:38:49 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Lookup table Satisfiability Modulo Theories FO Boolean satisfiability problem Theoretical computer science Logic Mathematical logic
188	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
189	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic Sergey Berezin, Vijay Ganesh, and David L. Dill Stanford University {berezin,vganesh,dill}@stanford.edu Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2007-03-24 22:33:28 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Fourier–Motzkin elimination Satisfiability Modulo Theories Constraint satisfaction Theoretical computer science Applied mathematics Mathematics

UPDATE